Object theory - PDFSEARCH.IO - Document Search Engine

Object theory
Results: 981

#	Item
221	Advanced Program Analyses for Object-oriented Systems Dr. Barbara G. Ryder Rutgers University http://www.cs.rutgers.edu/~ryder http://prolangs.rutgers.edu/ Add to Reading List Source URL: people.cs.vt.edu Language: English - Date: 2007-12-23 13:13:59 Infimum Supremum Mathematics Dependence analysis Abstraction Computing Order theory Dataflow Lattice
222	Application of Learning Styles in a Model Based on Ontology: SIMBAD Rojas Javier, Defude Bruno Telecom SudParis, Evry, France , Abstract The developments of applic Add to Reading List Source URL: linc.mit.edu Language: English - Date: 2014-07-24 17:07:21 Technical communication Data management Learning theory E-learning Learning styles Learning object Usability Data model Education Educational psychology Educational technology
223	Suggestions on “Traversals of Object Structures: Specification and Efficient Implementation” by Karl Lieberherr and Boaz Patt-Shamir Yannis Smaragdakis () Section 1 contains general suggestions. Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 1998-12-29 22:20:29 Minor Graph operations Edge coloring Graph theory Graph Graph coloring
224	c Academic Press. To appear. In Information and Computation Type Inference for Variant Object Types Michele Bugliesi Dipartimento di Informatica, Universit`a Ca’ Foscari di Venezia Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2009-02-03 06:51:06 Data types Computing Object-oriented programming Polymorphism Type systems Subtype polymorphism Symbol Inheritance System F Type theory Software engineering Programming language theory
225	Property Inference for Maple: An Application of Abstract Interpretation Jacques Carette1 Stephen Forrest1 Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2007-06-24 16:58:38 Data types Computer programming Object-oriented programming Functional programming Polymorphism Type system Variable Type class C Software engineering Computing Type theory
226	Encodings of Extensible Objects and Types Viviana Bono Dipartimento di Informatica Universit`a di Torino http://www.di.unito.it/∼bono Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:29:01 Mathematics Data types Object-oriented programming Lambda calculus Polymorphism Subtype polymorphism Type system System F Calculus Type theory Software engineering Theoretical computer science
227	MANAGING THE EVOLUTION OF OBJECT-ORIENTED SYSTEMS A Thesis Presented to the Faculty of the Graduate School of the College of Computer Science Add to Reading List Source URL: www.cis.umassd.edu Language: English - Date: 2004-09-21 14:38:20 Graph Object Graph theory Mathematics Theoretical computer science
228	A generalization of F with abstraction Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2010-12-06 04:30:08 Object-oriented programming Polymorphism Subtype polymorphism Type theory Functions and mappings Function Mathematics Data types Software engineering
229	Remote Batch Invocation for SQL Databases William R. Cook Ben Wiedermann Department of Computer Science Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2011-08-24 10:00:24 Data Computer languages Query languages Database theory SQL Language Integrated Query Object-relational database Object database Persist Data management Computing Database management systems
230	Depth Subtyping and Type Inference for Object Calculi Michele Bugliesi Dipartimento di Informatica Universit`a Ca’ Foscari di Venezia Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 1999-12-29 11:26:37 Computing Data types Object-oriented programming Polymorphism Type systems Subtype polymorphism Symbol Entailment System F Type theory Software engineering Programming language theory

UPDATE